Labels:text | screenshot | font | line | number OCR: Output Invariant. The output: Advisory Codetil can only be sent if Condition: Other-Aircraft[i] in state Threat Advisory-Code[i] = Resolution-Advisory TAND" Figure 6. This safety constraint ilmits when a resolution advisory can be removed from the pilot's display.
(1999).iso/ieeec/841/heimf106.gif){kind=small}
(1999).iso/ieeec/841/heimf105.gif){kind=link}
(1999).iso/ieeec/841/heimf107.gif){kind=link}